On the intersection of tolerance and cocomparability graphs.

Tolerance graphs have been extensively studied since their introduction, due to their interesting structure and their numerous applications, as they generalize both interval and permutation graphs in a natural way. It has been conjectured by Golumbic, Monma, and Trotter in 1984 that the intersection of tolerance and cocomparability graphs coincides with bounded tolerance graphs. Since cocomparability graphs can be efficiently recognized, a positive answer to this conjecture in the general case would enable us to efficiently distinguish between tolerance and bounded tolerance graphs, although it is NP-complete to recognize each of these classes of graphs separately. This longstanding conjecture has been proved under some – rather strong – structural assumptions on the input graph; in particular, it has been proved for complements of trees, and later extended to complements of bipartite graphs, and these are the only known results so far. Furthermore, it is known that the intersection of tolerance and cocomparability graphs is contained in the class of trapezoid graphs. Our main result in this article is that the above conjecture is true for every graph G that admits a tolerance representation with exactly one unbounded vertex; note that this assumption concerns only the given tolerance representation R of G, rather than any structural property of G. Moreover, our results imply as a corollary that the conjecture of Golumbic, Monma, and Trotter is true for every graph G = (V,E) that has no three independent vertices a, b, c ∈ V such that N(a) ⊂ N(b) ⊂ N(c), where N(v) denotes the set of neighbors of a vertex v ∈ V ; this is satisfied in particular when G is the complement of a triangle-free graph (which also implies the above-mentioned correctness for complements of bipartite graphs). Our proofs are constructive, in the sense that, given a tolerance representation R of a graph G, we transform R into a bounded tolerance representation R of G. Furthermore, we conjecture that any minimal tolerance graph G that is not a bounded tolerance graph, has a tolerance representation with exactly one unbounded vertex. Our results imply the non-trivial result that, in order to prove the conjecture of Golumbic, Monma, and Trotter, it suffices to prove our conjecture

On the complexity of edge labelings for trees

AbstractGiven a tree T with n edges and a set W of n weights, we deal with labelings of the edges of T with weights from W, optimizing certain objective functions. For some of these functions the optimization problem is shown to be NP-complete (e.g., finding a labeling with minimal diameter), and for others we find polynomial-time algorithms (e.g., finding a labeling with minimal average distance)

On the intersection of tolerance and cocomparability graphs.

It has been conjectured by Golumbic and Monma in 1984 that the intersection of tolerance and cocomparability graphs coincides with bounded tolerance graphs. Since cocomparability graphs can be efficiently recognized, a positive answer to this conjecture in the general case would enable us to efficiently distinguish between tolerance and bounded tolerance graphs, although it is NP-complete to recognize each of these classes of graphs separately. The conjecture has been proved under some – rather strong – structural assumptions on the input graph; in particular, it has been proved for complements of trees, and later extended to complements of bipartite graphs, and these are the only known results so far. Furthermore, it is known that the intersection of tolerance and cocomparability graphs is contained in the class of trapezoid graphs. In this article we prove that the above conjecture is true for every graph G, whose tolerance representation satisfies a slight assumption; note here that this assumption concerns only the given tolerance representation R of G, rather than any structural property of G. This assumption on the representation is guaranteed by a wide variety of graph classes; for example, our results immediately imply the correctness of the conjecture for complements of triangle-free graphs (which also implies the above-mentioned correctness for complements of bipartite graphs). Our proofs are algorithmic, in the sense that, given a tolerance representation R of a graph G, we describe an algorithm to transform R into a bounded tolerance representation R  ∗  of G. Furthermore, we conjecture that any minimal tolerance graph G that is not a bounded tolerance graph, has a tolerance representation with exactly one unbounded vertex. Our results imply the non-trivial result that, in order to prove the conjecture of Golumbic and Monma, it suffices to prove our conjecture. In addition, there already exists evidence in the literature that our conjecture is true

The complexity of the characterization of networks supporting shortest-path interval routing

AbstractInterval Routing is a routing method that was proposed in order to reduce the size of the routing tables by using intervals and was extensively studied and implemented. Some variants of the original method were also defined and studied. The question of characterizing networks which support optimal (i.e., shortest path) Interval Routing has been thoroughly investigated for each of the variants and under different models, with only partial answers, both positive and negative, given so far. In this paper, we study the characterization problem under the most basic model (the one unit cost), and with the most restrictive memory requirements (one interval per edge). We prove that this problem is NP-hard (even for the restricted class of graphs of diameter at most 3). Our result holds for all variants of Interval Routing. It significantly extends some related NP-hardness result, and implies that, unless P=NP, partial characterization results of some classes of networks which support shortest path Interval Routing, cannot be pushed further to lead to efficient characterizations for these classes

Optimal synchronization of ABD networks

We present in this paper a simple and efficient synchronizer algorithm for Asynchonous Bounded Delay Networks. In these networks each processor has a local clock, and the message delay is bounded by a known constant. The algorithm improves on an earlier synchronizer for this network model, presented by Cou et al. Moreover, using a mathematical model for this type of synchronizer, we show that the round time of new synchronizer is optimal

Online regenerator placement.

Connections between nodes in optical networks are realized by lightpaths. Due to the decay of the signal, a regenerator has to be placed on every lightpath after at most d hops, for some given positive integer d. A regenerator can serve only one lightpath. The placement of regenerators has become an active area of research during recent years, and various optimization problems have been studied. The first such problem is the Regeneration Location Problem (Rlp), where the goal is to place the regenerators so as to minimize the total number of nodes containing them. We consider two extreme cases of online Rlp regarding the value of d and the number k of regenerators that can be used in any single node. (1) d is arbitrary and k unbounded. In this case a feasible solution always exists. We show an O(log|X| ·logd)-competitive randomized algorithm for any network topology, where X is the set of paths of length d. The algorithm can be made deterministic in some cases. We show a deterministic lower bound of W([(log(|E|/d) ·logd)/(log(log(|E|/d) ·logd))])log(Ed)logdlog(log(Ed)logd) , where E is the edge set. (2) d = 2 and k = 1. In this case there is not necessarily a solution for a given input. We distinguish between feasible inputs (for which there is a solution) and infeasible ones. In the latter case, the objective is to satisfy the maximum number of lightpaths. For a path topology we show a lower bound of Öl/2l2 for the competitive ratio (where l is the number of internal nodes of the longest lightpath) on infeasible inputs, and a tight bound of 3 for the competitive ratio on feasible inputs

Steady Stokes flow with long-range correlations, fractal Fourier spectrum, and anomalous transport

We consider viscous two-dimensional steady flows of incompressible fluids past doubly periodic arrays of solid obstacles. In a class of such flows, the autocorrelations for the Lagrangian observables decay in accordance with the power law, and the Fourier spectrum is neither discrete nor absolutely continuous. We demonstrate that spreading of the droplet of tracers in such flows is anomalously fast. Since the flow is equivalent to the integrable Hamiltonian system with 1 degree of freedom, this provides an example of integrable dynamics with long-range correlations, fractal power spectrum, and anomalous transport properties.Comment: 4 pages, 4 figures, published in Physical Review Letter